Mathematical aspects of qualitative reasoningSTRUSS, P; KUIPERS, B.International journal for artificial intelligence in engineering. 1988, Vol 3, Num 3, pp 156-173, issn 0267-9264Article

On Centralized Smooth SchedulingLITMAN, Ami; MORAN-SCHEIN, Shiri.Algorithmica. 2011, Vol 60, Num 2, pp 464-480, issn 0178-4617, 17 p.Article

New formulae for multiplication of intervalsKOLEV, Lubomir V.Reliable computing. 2006, Vol 12, Num 4, pp 281-292, issn 1385-3139, 12 p.Article

Solving overdetermined systems of interval linear equationsHANSEN, Eldon; WALSTER, G. William.Reliable computing. 2006, Vol 12, Num 3, pp 239-243, issn 1385-3139, 5 p.Article

Parallel implementation of interval analysis for equations solvingPAPEGAY, Yves; DANEY, David; MERLET, Jean-Pierre et al.Lecture notes in computer science. 2003, pp 555-559, issn 0302-9743, isbn 3-540-20149-1, 5 p.Conference Paper

Eine intervallanalytische methode für globale Optimierungsprobleme = An interval analytic method for global optimization problemsJANSSON, C; KNÜPPEL, O.Zeitschrift für angewandte Mathematik und Mechanik. 1993, Vol 73, Num 7-8, pp T741-T743, issn 0044-2267Article

Sharpening interval computationsHANSEN, Eldon.Reliable computing. 2006, Vol 12, Num 1, pp 21-34, issn 1385-3139, 14 p.Article

Zur Aussen- und Inneneinschliessung von Eigenwerten bei toleranzbehafteten Matrizen = About outer- and inner enclosure of eigen value for matrices with tolerancesRUMP, S. M.Zeitschrift für angewandte Mathematik und Mechanik. 1993, Vol 73, Num 7-8, pp T861-T863, issn 0044-2267Article

On the optimization concept of grey systemsYAO ZHENG; LEWIS, R. W.Applied mathematical modelling. 1993, Vol 17, Num 7, pp 388-392, issn 0307-904XArticle

Towards optimal use of multi-precision arithmetic : A remarkKREINOVICH, Vladik; RUMP, Siegfried.Reliable computing. 2006, Vol 12, Num 5, pp 365-369, issn 1385-3139, 5 p.Article

Introduction to reasoning about cyclic intervalsOSMANI, A.Lecture notes in computer science. 1999, pp 698-706, issn 0302-9743, isbn 3-540-66076-3Conference Paper

A comparative study of arithmetic constraints on integer intervalsAPT, Krzysztof R; ZOETEWEIJ, Peter.Lecture notes in computer science. 2004, pp 1-24, issn 0302-9743, isbn 3-540-21834-3, 24 p.Conference Paper

Eine portable Langzahl- und Langzahlintervallarithmetik mit Anwendungen = A portable long number- and long number interval arithmetic with applicationsKRÄMER, W.Zeitschrift für angewandte Mathematik und Mechanik. 1993, Vol 73, Num 7-8, pp T849-T853, issn 0044-2267Article

On interval systems [x] = [A] [x] + [b] and the powers of interval matrices in complex interval arithmeticsARNDT, Hans-Robert.Reliable computing. 2007, Vol 13, Num 3, pp 245-259, issn 1385-3139, 15 p.Article

On the interval approximation of a fuzzy numberCHANAS, Stefan.Fuzzy sets and systems. 2001, Vol 122, Num 2, pp 353-356, issn 0165-0114Article

On range evaluation of polynomials by applying interval arithmeticMIYAJIMA, Shinya; KASHIWAGI, Masahide.Lecture notes in computer science. 2004, pp 254-261, issn 0302-9743, isbn 3-540-21090-3, 8 p.Conference Paper

PROFIL/BIAS : a fast interval libraryKNÜPPEL, O.Computing (Wien. Print). 1994, Vol 53, Num 3-4, pp 277-287, issn 0010-485XArticle

Rational circular complex centered formsROKNE, J.Journal of computational and applied mathematics. 1987, Vol 17, Num 3, pp 309-327, issn 0377-0427Article

Fast inclusion of interval matrix multiplicationOGITA, Takeshi; OISHI, Shinichi.Reliable computing. 2005, Vol 11, Num 3, pp 191-205, issn 1385-3139, 15 p.Article

Interval estimation of the size of a small population from a marks-recapture experimentMCDONALD, J. F; PALANACKI, D.Biometrics. 1989, Vol 45, Num 4, pp 1223-1231, issn 0006-341X, 9 p.Article

Computing shortest paths with uncertaintyFEDER, T; MOTWANI, R; O'CALLAGHAN, L et al.Lecture notes in computer science. 2003, pp 367-378, issn 0302-9743, isbn 3-540-00623-0, 12 p.Conference Paper

Interval analysis-based optimum design of wing structures under taxiing loadsMAJUMDER, Luna; RAO, S. S.Journal of aircraft. 2007, Vol 44, Num 3, pp 1045-1049, issn 0021-8669, 5 p.Article

Computing a required absolute precision from a stream of linear fractional transformationsKRZNARIC, Marko.Lecture notes in computer science. 2001, pp 169-186, issn 0302-9743, isbn 3-540-42197-1Conference Paper

Parallel validated global optimizationBERNER, S.Zeitschrift für angewandte Mathematik und Mechanik. 1996, Vol 76, pp 315-318, issn 0044-2267, SUP1Conference Paper

The resolution of close minimaMOORE, R. E.Computers & mathematics with applications (1987). 1993, Vol 25, Num 10-11, pp 57-58, issn 0898-1221Article